Definition

Suppose a real vector space, with vectors u,v,wu,v,w and scalar α\alpha, then an inner product ⟨⋅,⋅⟩\langle \cdot, \cdot \rangle satisfies properties:

  • bilinearity
    • ⟨u+v,w⟩=⟨u,w⟩+⟨v,w⟩\langle u + v, w \rangle = \langle u, w \rangle + \langle v, w \rangle
    • ⟨αv,w⟩=α⟨v,w⟩\langle \alpha v, w \rangle = \alpha \langle v,w \rangle
  • symmetry
    • ⟨v,w⟩=⟨w,v⟩\langle v,w \rangle = \langle w,v \rangle
  • positive definiteness
    • ⟨v,v⟩≥0\langle v,v \rangle \geq 0
    • ⟨v,v⟩=0\langle v,v \rangle = 0 iff v=0v = 0

Notes

  • generalization of dot product, where ⟨u,v⟩=v′w=∑iviwi\langle u, v \rangle = v'w = \sum_i v_i w_i

References

  1. https://mathworld.wolfram.com/InnerProduct.html
  2. https://people.eecs.berkeley.edu/~bartlett/courses/281b-sp08/7.pdf